1
Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Έτος:
2004
Γλώσσα:
english
Αρχείο:
PDF, 2.46 MB
0 / 0
english, 2004